“체계화 공식”으로 총 1건 검색

• 체계화 공식, 體系化公式, well formed formula, wff

  표현되는 알파벳 기호들을 명시하고, 이것들이 체계화된 표현이 되도록 구문을 정의하는데, 이렇게 구문을 정의해 만든 공식. 체계화 공식(wff)은 조건식과 불연산자(AND, OR, NOT), 정량자(E, A)로 구성되는데 다음의 규칙을 따르게 된다. ㉠모든 조건식은 wff이다. ㉡f가 wff이면 (f)와 NOT(f)도 wff이다....